
 add_fsm_encoding \
       {motor_driver.state} \
       { }  \
       {{000 000} {001 001} {010 011} {011 100} {100 010} {101 101} {110 110} {111 111} }
